Reasoning and Planning with Incomplete Information in the Presence of Static Causal Laws by Tu Huy Phan

REASONING AND PLANNING WITH INCOMPLETE INFORMATION IN THE PRESENCE OF STATIC CAUSAL LAWS BY TU HUY PHAN Doctor of Philosophy New Mexico State University Las Cruces, New Mexico, 2007 Dr. Son Cao Tran, Chair This dissertation extends the framework of the 0-approximation to handle domains with static causal laws. It is divided into three parts. In the first part, we present a sufficient condition for the completeness of the 0-approximation and propose a new method to achieve complete reasoning and planning with the 0-approximation. In the second part, we tackle the problem of designing approximations for domains with static causal laws. Specifically, we present two different approaches to the problem which result in four different approximations. In the last part, we extend the approximations to incorporate sensing actions. In each part, the results are evaluated through the development of conformant or conditional planner(s).